Residues and tame symbols on toroidal varieties

We introduce a new approach to the study of a system of algebraic equations in the algebraic torus whose Newton polytopes have sufficiently general relative positions. Our method is based on the theory of Parshin's residues and tame symbols on toroidal varieties. It provides a uniform algebraic explanation of the recent result of Khovanskii on the product of the roots of such systems and the Gel'fond--Khovanskii result on the sum of the values of a Laurent polynomial over the roots of such systems, and extends them to the case of an algebraically closed field of arbitrary characteristic.Comment: 26 pages, minor changes, title changed, new introduction, references adde

Toric residue and combinatorial degree

Consider an n-dimensional projective toric variety X defined by a convex lattice polytope P. David Cox introduced the toric residue map given by a collection of n+1 divisors Z_0,...,Z_n on X. In the case when the Z_i are T-invariant divisors whose sum is X\T the toric residue map is the multiplication by an integer number. We show that this number is the degree of a certain map from the boundary of the polytope P to the boundary of a simplex. This degree can be computed combinatorially. We also study radical monomial ideals I of the homogeneous coordinate ring of X. We give a necessary and sufficient condition for a homogeneous polynomial of semiample degree to belong to I in terms of geometry of toric varieties and combinatorics of fans. Both results have applications to the problem of constructing an element of residue one for semiample degrees.Comment: 13 pages, one section added, 1 pstex figure. To appear in Trans. Amer. Math. So

Combinatorial construction of toric residues

The toric residue is a map depending on n+1 semi-ample divisors on a complete toric variety of dimension n. It appears in a variety of contexts such as sparse polynomial systems, mirror symmetry, and GKZ hypergeometric functions. In this paper we investigate the problem of finding an explicit element whose toric residue is equal to one. Such an element is shown to exist if and only if the associated polytopes are essential. We reduce the problem to finding a collection of partitions of the lattice points in the polytopes satisfying a certain combinatorial property. We use this description to solve the problem when n=2 and for any n when the polytopes of the divisors share a complete flag of faces. The latter generalizes earlier results when the divisors were all ample.Comment: 29 pages, 9 pstex figures, 1 large eps figure. New title, a few typos corrected, to appear in Ann. Inst. Fourie

PARSHIN’S SYMBOLS AND RESIDUES AND NEWTON POLYHEDRA

Abstract. We introduce a new approach to the theory of Newton polyhedra based on Parshin’s theory of tame symbols and residues. This approach gives a uniform proof of recent results such as the formula for the product of the roots of a system of algebraic equations in (C × ) n whose Newton polyhedra have sufficiently general relative locations [Kh] and the formula for the sum of the Grothendieck residues over the roots of such systems [G-Kh], and extends these results to the case of an arbitrary algebraically closed field. 1